axiom of choice معنى

• بديهية الاختيار

• axiom    n. بديهية, مسلمة, ...
• of    prep. من, بشأن, بس ...
• choice    adj. ممتاز, مختار; ...

أمثلة

1. Therefore, if every infinite connected graph has a spanning tree, then the axiom of choice is true.
   لذلك، إذا كل رسم بياني متصل لانهائي لديه شجرة الممتدة، ثم مسلمة الاختيار صحيح.
2. The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.
   بديهية الاختيار تُعرِض عنها بعض أنواع الرياضيات التركيبيّة، على الرغم من وجود بعض الأنواع الأخرى من الرياضيات التركيبية التي تعتنق فكرة بديهية الاختيار.
3. The axiom of choice is avoided in some varieties of constructive mathematics, although there are varieties of constructive mathematics in which the axiom of choice is embraced.
   بديهية الاختيار تُعرِض عنها بعض أنواع الرياضيات التركيبيّة، على الرغم من وجود بعض الأنواع الأخرى من الرياضيات التركيبية التي تعتنق فكرة بديهية الاختيار.
4. One motivation for this use is that a number of generally accepted mathematical results, such as Tychonoff's theorem, require the axiom of choice for their proofs.
   ومن الحوافز التي شجَّعت على هذا الاستخدام هو أن مجموعة من النتائج المقبولة رياضيًا بشكلٍ عام، مثل نظرية تيخونوف، تتطلَّب الاعتماد على بديهية الاختيار لإثبات البراهين.